<?php
class lexiconJson_chunk{
	function out(){
		global $core;
		$lexicon=$core->getLexicon();
		return '<script type="text/javascript">var lexicon='.json_encode($lexicon->diccionario).'</script>';
	}
}